0/PendulumControlled/hybridfUML/PendulumFinal.uml7org.eclipse.ui.internal.registry.ResourceEditorRegistryEditorProperty org.eclipse.ui.DefaultTextEditor5/PendulumControlled/hybridfUML/PendulumFinal.notationEditorProperty org.eclipse.ui.DefaultTextEditor